Formal program development - IFIP TC2/WG 2.1 state-of-the-art report
- Författare
- (Bernhard Möller, Helmut Partsch, Steve Schuman (eds.).)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | 371 sidor. |